<?php

function f() {
}

